(0 7 2)(1 19 15)(3 10 8)(4 17 6)(5 20 16)(9 14 11)(12 18 13)
ALLOWS (11/8)-SEQUENCE
1: (5 16 20)

(0 7 2)(1 19 15)(3 10 8)(4 17 6)(5 16 20)(9 14 11)(12 18 13)
2: (4 17 6)

(0 7 2)(1 19 15)(3 10 8)(4)(5 16 20)(6)(9 14 11)(12 18 13)(17)
3: (5 16 20)

(0 7 2)(1 19 15)(3 10 8)(4)(5)(6)(9 14 11)(12 18 13)(16)(17)(20)
4: (1 19 15)

(0 7 2)(1)(3 10 8)(4)(5)(6)(9 14 11)(12 18 13)(15)(16)(17)(19)(20)